From Coalition Logic to STIT 1
نویسندگان
چکیده
STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form \agent a sees to it that '". We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. We focus on Pauly's Coalition Logic and the logic of the cstit operator, as described by Horty. After a brief presentation of Coalition Logic and an adapted discrete-time STIT framework, we introduce a translation from Coalition Logic to STIT, and prove that it is correct.
منابع مشابه
From Coalition Logic to STIT
STIT is a logic of agency that has been proposed in the nineties in the domain of philosophy of action. It is the logic of constructions of the form “agent a sees to it that φ”. We believe that STIT theory may contribute to the logical analysis of multiagent systems. To support this claim, in this paper we show that there is a close relationship with more recent logics for multiagent systems. W...
متن کاملTemporal STIT logic and its application to normative reasoning
OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. To cite this version : Lorini, Emiliano Temporal STIT logic and its application to normative reasoning. I present a variant of STIT with time, called T-STIT (Temporal STIT), interpreted in standard Kripke semantics. On the syntactic level, T-STIT is nothin...
متن کاملCeteris Paribus Structure in Logics of Game Forms
The article introduces a ceteris paribus modal logic interpreted on the equivalence classes induced by sets of propositional atoms. This logic is used to embed two logics of agency and games, namely atemporal STIT and the coalition logic of propositional control (CL−PC). The embeddings highlight a common ceteris paribus structure underpinning the key modal operators of both logics, they clarify...
متن کاملA Logic for Reasoning about Counterfactual Emotions
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example of this kind of emotions is regret. In order to meet this objective, we exploit the well-known STIT logic [Belnap et al., 2001; Horty, 2001]. STIT logic has been proposed in the domain of formal philosophy in the nineties...
متن کاملA Dynamic Logic of Agency I: STIT, Capabilities and Powers
The aim of this paper is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define our basic Dynamic Logic of Agency DLA. Differently from other logics of individual and coalitional capability such as Alternating-time Temporal Logic ATL and Coalition Logic, in DLA cooperation modalities for expressin...
متن کامل